منابع مشابه
?Logic and Formal Ontology: Is the Final Formal Ontology Possible
Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...
متن کاملContribution of Warsaw Logicians to Computational Logic
The newly emerging branch of research of Computer Science received encouragement from the successors of the Warsaw mathematical school: Kuratowski, Mazur, Mostowski, Grzegorczyk, and Rasiowa. Rasiowa realized very early that the spectrum of computer programs should be incorporated into the realm of mathematical logic in order to make a rigorous treatment of program correctness. This gave rise t...
متن کاملFrom Informal to Formal?
The chapter describes an empirical study of a sociotechnical community—as an extended part of an institution—with the aim of revealing its changing processes. One hypothesis is that structures of socio-technical communities evolve from being less defined and informal to being more formal structures supported by evolving social control mechanisms, regulations and rules. The focus is the new emer...
متن کاملTeachers' Attitudes towards Teaching in Formal vs. Informal ELT Contexts
Up to now, many studies have been done to show the origin of attitudes and their relationships with behaviors or actions. Some of those works have focused on students' attitudes and some have introduced the various contexts of language teaching and learning. These studies were enough to give a new impetus for conducting the present investigation. This paper investigated the teachers' attitudes ...
متن کاملFormal Methods for the Informal World
Satelite image of the Burning Man Festival in the Black Rock Desert (USA), dedicated to community, art, self-expression, and self-reliance. Satellite image courtesy of GeoEye. Poster design: SuperNova Studios . NL The Lorentz Center is an international center in the sciences. Its aim is to organize workshops for scientists in an atmosphere that fosters collaborative work, discussions and intera...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Informal Logic
سال: 2008
ISSN: 0824-2577,0824-2577
DOI: 10.22329/il.v26i2.444